Goodwin oscillator
id_total, 0.287523996
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.008341455
id_inclusion_check_mod_p, 0.00367098
id_groebner_time, 0.041792148
id_beautifulization, 0.091276324
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 138.0
